#automata WC